ordered vector space - Türkisch Englisch Wörterbuch